ja 公理系 (n)
― Synonym ⟶
Weight: 2.0
en axiomatic system Source: JMDict 1.07